Daftar koleksi buku oleh: Pridjodikoro, Wirjono